Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·22h
📊Static Analysis
The Amaranth hardware description language
amaranth-lang.org·22h·
Discuss: Hacker News
🔍FPGA Verification
Transpiling a Forth dialect to LLVM IR
onirom.fr·5d
🚀Compiler Optimizations
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundaiton; Gabriele Paoloni, Red Hat
elisa.tech·19h
📜Proof Carrying Code
An easy-to-implement, arena-friendly hash map
nullprogram.com·4h·
Discuss: Lobsters
🔐Hash Functions
C and VLAs (Variable Length Arrays)
subethasoftware.com·8h
🔩Systems Programming
How far can we push AI autonomy in code generation?
martinfowler.com·1d·
Discuss: Hacker News
⚡Proof Automation
Claude Code IDE Integration for Emacs
github.com·12h·
Discuss: Hacker News
🔩Systems Programming
Congatec Board Controller support into the upstream Linux Kernel
bootlin.com·10h
⚡Homebrew CPUs
Intel Upstreams libsycl SYCL Runtime Library Into LLVM
phoronix.com·1d
🧲RISC-V Preservation
Learning About Threads: An Essential Guide for Developers
hackernoon.com·1d
🔩Systems Programming
Build a Mini-FastAPI from Scratch: Learn ASGI & Routing Internals
dev.to·10h·
Discuss: DEV
⚡gRPC
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
Industrial LLM-based Code Optimization under Regulation: A Mixture-of-Agents Approach
arxiv.org·22h
🧩WASM Components
GPT-OSS 120B Writes a Lisp in Go Fast
elite-ai-assisted-coding.dev·8h·
Discuss: Hacker News
🤖Lisp Machines
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·1d·
Discuss: Hacker News
🦀Rust Macros
Challenges of Pseudocode Expansion
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🔗Lisp
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Beginner’s Guide to Gemini CLI: Install, Setup, and Use It Like a Pro
kdnuggets.com·14h
⚡Proof Automation
YC Startups Use AI: Agents, OCR, and Prompt Engineering with Mercoa (YC W23)
aiengineering.report·9h·
Discuss: Hacker News
⚡Proof Automation